"""Some nice imports to make it easier to use propositions."""

## Let's import the useful modules.
import parser, structure

## And now let's pull in some specific functions
from parser import parse

from structure import TrueNode, FalseNode, ImplicationNode
from structure import EqualityNode, AndNode, OrNode, NotNode, AatNode, EatNode
from structure import EuNode, AuNode, IdentifierNode
